Skip to content

Conversation

gaxiom
Copy link
Contributor

@gaxiom gaxiom commented Oct 2, 2025

No description provided.

This comment has been minimized.

@gaxiom gaxiom force-pushed the chore/backend-1.2.1-rc.4 branch from 2a6832b to d4011e6 Compare October 2, 2025 18:06

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

@gaxiom gaxiom force-pushed the chore/backend-1.2.1-rc.4 branch from f04c493 to e7d512e Compare October 4, 2025 00:59

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

@jonathanpwang

This comment was marked as resolved.

@jonathanpwang

This comment was marked as outdated.

@jonathanpwang jonathanpwang changed the title chore(cuda): bump up backend to 1.2.1-rc.4 chore(cuda): bump up backend to 1.2.1-rc Oct 10, 2025
Adds `AsyncAppProver` which executes metered serially and then
re-executes while spawning prover tasks for each continuation segment.
The prover tasks use a semaphore to limit the max concurrency.

Note this PR includes the fix
#2155

---------

Co-authored-by: Ayush Shukla <[email protected]>
@jonathanpwang jonathanpwang changed the title chore(cuda): bump up backend to 1.2.1-rc chore(cuda): use CUDA backend with VPMM v2 Oct 10, 2025

This comment has been minimized.

Copy link

group app.proof_time_ms app.cycles app.cells_used leaf.proof_time_ms leaf.cycles leaf.cells_used
verify_fibair (+4 [+1.7%]) 234 322,610 2,058,654 - - -
fibonacci (+51 [+4.9%]) 1,085 1,500,209 2,100,402 - - -
regex (+154 [+6.6%]) 2,488 4,137,372 17,759,394 - - -
ecrecover (+74 [+10.4%]) 786 122,859 2,263,820 - - -
pairing (+62 [+4.2%]) 1,523 1,745,742 25,468,210 - - -

Commit: fc7e302

Benchmark Workflow

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants